Mapping UML Models to Colored Petri Nets Models based on Edged Graph Grammar
نویسندگان
چکیده
This paper presents an approach for transforming UML class diagrams and extended sequence diagrams into Colored Petri Nets. In the field of software model, UML has become a widely used software modeling language. However, as a semi-formal language, UML lacks a precise formal semantic base for its notation. In this paper, Colored Petri Nets are taken as the formal language for UML models' analysis. Intermediate graphs generate UML extended class diagrams and extended sequence diagrams. Edged Graph Grammar is introduced to describe the transformation rules. In order to show the approach's process, an case study is shown.
منابع مشابه
A Triple Graph Grammar (TGG) Approach for Mapping UML 2 Activities into Petri Nets
Model-to-Model mapping offers several advantages over relational mapping. In model-to-model mapping an active correspondence is kept between two pairs of models. This is facilitated if visual models are used. UML 2 activities are based on Petri net like semantics and substantial literature exists explaining the conversion process. This paper explains how UML 2 activities can be formally mapped ...
متن کاملOn the Use of Graph Transformation in the Modeling and Verification of Dynamic Behavior in UML Models
The use of the UML specification language for modelling dynamic behaviors of systems is very widespread. UML Statecharts and Collaboration diagrams are widely used to model dynamic behaviors of systems. However, the lack of firm semantics for the UML modeling notations makes the detection of behavioral inconsistencies difficult in the initial phases of development. The use of formal methods mak...
متن کاملSimplified Bi-Directional Transformation of UML Activities into Petri Nets
Model-to-Model mapping should offer the advantage of fully operational bi-directional mapping between different models or formalisms that share some common properties. However in reality this is not easily achievable. It is acknowledged that previous work was presented where it was shown how Triple Graph Grammars are useful to achieve the mapping. UML 2 activities share some similarities with P...
متن کاملA Meta-Modeling and Graph Grammar Approach for Modeling and analysis of e-entrepreneurship systems
UML provides standard abstractions to simplify the documentation, understanding, and maintenance of object oriented complex software systems. UML sequence diagrams are used to describe the behaviors of systems. However, UML is a semi-formal language that lacks tools for analysis and validation of user requirements. In other hand, Petri Nets models are tools for the validation and performance an...
متن کاملA UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation
Nowadays, UML is considered to be the standardized language for object-oriented modeling and analysis. However, UML cannot be used for automatic analyses and simulation. In this paper, we propose an approach for transforming UML statechart and collaboration diagrams to Colored Petri net models. This transformation aims to bridge the gap between informal notation (UML diagrams) and more formal n...
متن کامل